Algebraic modelling of Fault Trees with Priority AND gates
نویسندگان
چکیده
This paper presents a formal framework allowing to extend the simplification of static fault trees to fault trees built with gates PRIORITY AND. The laws which make these simplifications possible have been demonstrated thanks to a homogeneous algebraic definition of each gate studied. These definitions use a mathematical model of events able to take into account their order of appearance. The processing of an example points out the possibilities offered by this algebraic framework dedicated to non-repairable faults. Copyright c ©2007 IFAC
منابع مشابه
Algebraic Expression of the Structure Function of a subclass of Dynamic Fault Trees
This paper focuses on a subclass of Dynamic Fault Trees (DFTs), called Priority Dynamic Fault Trees (PDFTs), containing only static gates and Priority Dynamic Gates (PAND and FDEP) for which a priority relation among the input nodes completely determines the output behavior. We define events as temporal variables and we show that, by adding to the usual Boolean operators new temporal operators ...
متن کاملQuantification of Priority-OR Gates in Temporal Fault Trees
Fault Tree Analysis has been used in reliability engineering for many decades and has seen various modifications to enable it to analyse fault trees with dynamic and temporal gates so it can incorporate sequential failure in its analysis. Pandora is a technique that analyses fault trees logically with three temporal gates (PAND, SAND, POR) in addition to Boolean gates. However, it requires exte...
متن کاملBridging thc Gap Between Systems and C 1
cally for a given tim equation (ODE) softw an ordinary differential In addition to combinatorial gates, dynamic fault trees use four additional kinds of gates as modeling elements: Sequence Enforcing (SEQ), Functional Dependency (FDEP), Priority And (PAND), and Cold, Warm and Hot Spare (CSP, WSP and HSP). A SEQ gate asserts that component failures can occur only in the order specified by its in...
متن کاملPandora: the Time of Priority-and Gates
Classical Fault Tree Analysis (FTA) can determine the effects of combinations of failure events on a system but cannot capture the potentially critical significance of the temporal ordering of events. In this paper, we propose a temporal extension based on the use of Priority-AND gates to allow relative temporal ordering and temporal analysis in FTA. The classical notion of minimal cut-sets is ...
متن کاملDynamic Bayesian Networks for modeling advanced Fault Tree features in dependability analysis
Fault Trees (FT) are one of the most popular techniques for dependability analysis of large, safety critical systems. They allow one to represent the combination of elementary causes that lead to the occurrence of an undesired catastrophic event named the Top Event (TE). By specifying failure probabilities on the basic components of the modeled system (the elementary causes of the TE, also call...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009